RWByteAddressBuffer tint_symbol_2 : register(u0);

[numthreads(1, 1, 1)]
void tint_symbol_3() {
  tint_symbol_2.Store(0u, asuint(0u));
  return;
}
